$\forall$$p$, $q$:$\mathbb{B}$. ($\uparrow$($p$ $\wedge_{b}$ $q$)) $\Leftarrow\!\Rightarrow$ (($\uparrow$$p$) \& ($\uparrow$$q$))